Building verified hardware and verified stacks in HOL
- Författare
- Andreas Lööw
- (Andreas Lööw., Diss. Göteborg : Chalmers tekniska högskola, 2021)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2021 | Sverige, Göteborg | vi, 149 sidor illustrationer | 978-91-7905-518-9 |
| Chalmers University of Technology and Gothenburgs University | 2019 | Sverige, Göteborg | iv, 75 sidor. ill. |